总结了未来语义Web基础研究和应用研究的方向:语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信(Trust)与证据(Proof)模型的开发;
互联网摘选
Language, Semantics, Linguistic Representation, and Theory of Mind
语言,语义,语言表征,心理理论&从语言获得建构理论谈心理理论和语言能力的关系
互联网摘选
换句话说,对一个可检验且独立于语言的词汇语意学理论而言,这些测试提供了一个基石。
互联网摘选
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明;
互联网摘选
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
互联网摘选
形式化规范语言Z和Object-Z已经用于描述程序语言语义。
互联网摘选
面向对象标准建模语言UML(Unified MOdeling Language)缺乏精确的动态语义。
互联网摘选
今天的编程已不仅仅是学习编程语言的语法和语义,比如Java,我们并不是学习其API及类库的能力。
互联网摘选
语义域语言模型的核心思想是为报道建立凝聚于不同语义的结构体,借以从语义层面判定报道的相关性。
互联网摘选
摘要:模糊语义和精确语义是公文语言的重要表现形式,它们之间既存在本质差别,也存在不可分割的联系,同时,双方在一定条件下也可实现相互的转换。
互联网摘选
